$x$:$T$$>>$$a$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$g$:($T$$\rightarrow\mathbb{B}$). M($a$;$g$;$x$)